man dinosaur and lion lived at same time in texas